Runtime support for two-variable comprehensions

Introduces runtime support for foldable types as well as support
for mutable maps in addition to mutable lists. All runtime types have
been updated to support folding, but interop support exists for
legacy types created by third parties.

All fold and iteration evaluations will now lazily initialize the accumulator
variable which also makes cel.bind() calls lazily evaluated by default
as well.